We show that in quantum logic of closed subspaces of Hilbert space one cannot substitute quantum operations for classical (standard Hilbert space) ones and treat them as primitive operations. We consider two possible ways of such a substitution and arrive at operation algebras that are not lattices what proves the claim. We devise algorithms and programs which write down any two-variable expression in an orthomodular lattice by means of classical and quantum operations in an identical form. Our results show that (...) lattice structure and classical operations uniquely determine quantum logic underlying Hilbert space. As a consequence of our result, recent proposals for a deduction theorem with quantum operations in an orthomodular lattice as well as a, substitution of quantum operations for the usual standard Hilbert space ones in quantum logic prove to be misleading. Quantum computer quantum logic is also discussed. (shrink)

We present a formalization of first-order predicate calculus with equality which, unlike traditional systems with axiom schemata or substitution rules, is finitely axiomatized in the sense that each step in a formal proof admits only finitely many choices. This formalization is primarily based on the inference rule of condensed detachment of Meredith. The usual primitive notions of free variable and proper substitution are absent, making it easy to verify proofs in a machine-oriented application. Completeness results are presented. The example of (...) Zermelo-Fraenkel set theory is shown to be finitely axiomatized under the formalization. The relationship with resolution-based theorem provers is briefly discussed. A closely related axiomatization of traditional predicate calculus is shown to be complete in a strong metamathematical sense. (shrink)

The set of 60 real rays in four dimensions derived from the vertices of a 600-cell is shown to possess numerous subsets of rays and bases that provide basis-critical parity proofs of the Bell-Kochen-Specker (BKS) theorem (a basis-critical proof is one that fails if even a single basis is deleted from it). The proofs vary considerably in size, with the smallest having 26 rays and 13 bases and the largest 60 rays and 41 bases. There are at least 90 basic (...) types of proofs, with each coming in a number of geometrically distinct varieties. The replicas of all the proofs under the symmetries of the 600-cell yield a total of almost a hundred million parity proofs of the BKS theorem. The proofs are all very transparent and take no more than simple counting to verify. A few of the proofs are exhibited, both in tabular form as well as in the form of MMP hypergraphs that assist in their visualization. A survey of the proofs is given, simple procedures for generating some of them are described and their applications are discussed. It is shown that all four-dimensional parity proofs of the BKS theorem can be turned into experimental disproofs of noncontextuality. (shrink)

BB′IW logic (or T→ is known to be D-complete. This paper shows that there are infinitely many weaker D-complete logics and it also examines how certain D-incomplete logics can be made complete by altering their axioms using simple substitutions.

In Situations and Individuals, Paul Elbourne argues that the natural language expressions that have been taken to refer to individuals — pronouns, proper names, and definite descriptions — have a common syntax and semantics, roughly that of definite descriptions as construed in the tradition of Frege. In the course of his argument, Elbourne shows that proper names have previously undetected donkey anaphoric readings.This is contrary to previous theorizing and, if true, would undermine what philosophers call the direct reference theory (which (...) holds that the sole contribution of a proper name to the truth conditions of a sentence is an individual) as well as the related doctrine that proper names are rigid designators. Elbourne begins by addressing donkey anaphora, relating other concerns about pronouns to the solution of this notorious problem. His subsequent argumentation provides a unified semantics for the donkey anaphoric and bound and referential uses of pronouns and discusses the prospect of unifying the syntax and semantics of pronouns with the syntax and semantics of normal definite descriptions. Elbourne's aim is not only to advance his proposal of a unified syntax and semantics but also to urge linguists and philosophers dealing with pronoun interpretation to consider a wider range of theories than they do at present, and to test the competing claims of description-based theories and dynamic semantics against the data. (shrink)

In this paper we provide a detailed proof-theoretical analysis of a natural deduction system for classical propositional logic that (i) represents classical proofs in a more natural way than standard Gentzen-style natural deduction, (ii) admits of a simple normalization procedure such that normal proofs enjoy the Weak Subformula Property, (iii) provides the means to prove a Non-contamination Property of normal proofs that is not satisfied by normal proofs in the Gentzen tradition and is useful for applications, especially (...) in formal argumentation, (iv) naturally leads to defining a notion of depth of a proof, to the effect that, for every fixed natural k, normal k-depth deducibility is a tractable problem and converges to classical deducibility as k tends to infinity. (shrink)

The paper studies many-dimensional modal logics corresponding to products of Kripke frames. It proves results on axiomatisability, the finite model property and decidability for product logics, by applying a rather elaborated modal logic technique: p-morphisms, the finite depth method, normal forms, filtrations. Applications to first order predicate logics are considered too. The introduction and the conclusion contain a discussion of many related results and open problems in the area.

This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of linear logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic linear logic without the additive disjunction, to which we add a modality. We provide an interpretation of this language on a class of Kripke resource (...) models extended with a neighbourhood function: modal Kripke resource models. We propose a Hilbert-style axiomatisation and a Gentzen-style sequent calculus. We show that the proof theories are sound and complete with respect to the class of modal Kripke resource models. We show that the sequent calculus admits cut elimination and that proof-search is in PSPACE. We then show how to extend the results when non-commutative connectives are added to the language. Finally, we put the l.. (shrink)

This is Part 1 of a paper on fibred semantics and combination of logics. It aims to present a methodology for combining arbitrary logical systems L i , i ∈ I, to form a new system L I . The methodology `fibres' the semantics K i of L i into a semantics for L I , and `weaves' the proof theory (axiomatics) of L i into a proof system of L I . There are various ways of doing this, we (...) distinguish by different names such as `fibring', `dovetailing' etc, yielding different systems, denoted by L F I , L D I etc. Once the logics are `weaved', further `interaction' axioms can be geometrically motivated and added, and then systematically studied. The methodology is general and is applied to modal and intuitionistic logics as well as to general algebraic logics. We obtain general results on bulk, in the sense that we develop standard combining techniques and refinements which can be applied to any family of initial logics to obtain further combined logics. The main results of this paper is a construction for combining arbitrary, (possibly not normal) modal or intermediate logics, each complete for a class of (not necessarily frame) Kripke models. We show transfer of recursive axiomatisability, decidability and finite model property. Some results on combining logics (normal modal extensions of K) have recently been introduced by Kracht and Wolter, Goranko and Passy and by Fine and Schurz as well as a multitude of special combined systems existing in the literature of the past 20-30 years. We hope our methodology will help organise the field systematically. (shrink)

Signals to the brain from the flows of energy around the body, varied primarily by declining amounts of food energy in the stomach, can explain the pattern of meals in the laboratory rat, the differences between dark and light phases, and the development of obesity ion the rat wioth VMH lesions but normal sating.

Objections to the use of assistive technologies in elite sports are generally raised when the technology in question is perceived to afford the user a potentially “unfair advantage,” when it is perceived as a threat to the purity of the sport, and/or when it is perceived as a precursor to a slippery slope toward undesirable changes in the sport. These objections rely on being able to quantify standards of “normal” within a sport so that changes attributed to the use (...) of assistive technology can be judged as causing a significant deviation from some baseline standard. This holds athletes using assistive technologies accountable to standards that restrict their opportunities to achieve greatness, while athletes who do not use assistive technologies are able to push beyond the boundaries of these standards without moral scrutiny. This paper explores how constructions of fairness and “normality” impact athletes who use assistive technology to compete in a sporting venue traditionally populated with “able-bodied” competitors. It argues that the dynamic and obfuscated construction of “normal” standards in elite sports should move away from using body performance as the measuring stick of “normal,” toward alternate forms of constructing norms such as defining, quantifying, and regulating the mechanical actions that constitute the critical components of a sport. Though framed within the context of elite sports, this paper can be interpreted more broadly to consider problems with defining “normal” bodies in a society in which technologies are constantly changing our abilities and expectations of what normal means. (shrink)

The topic of colour vision is one that integrates research from psychology, neuroscience, biology, ophthalmology, physics, and genetics. How do we make sense of colour in the world, and how has such an ability evolved in humans? How does the brain interpret colour images? Do men discriminate colours differently from women? Why do some people have problems perceiving colours? Mollon, Pokorny, and Knoblauch are leading authorities on this topic, and together they have brought together a stellar list of contributors, encompassing (...) all these fields. (shrink)

We argue that theory-of-mind (ToM) approaches, such as “theory theory” and “simulation theory”, are both problematic and not needed. They account for neither our primary and pervasive way of engaging with others nor the true basis of our folk psychological understanding, even when narrowly construed. Developmental evidence shows that young infants are capable of grasping the purposeful intentions of others through the perception of bodily movements, gestures, facial expressions etc. Trevarthen’s notion of primary intersubjectivity can provide a theoretical framework for (...) understanding these capabilities and his notion of secondary intersubjectivity shows the importance of pragmatic contexts for infants starting around one year of age. The recent neuroscience of resonance systems (i.e., mirror neurons, shared representations) also supports this view. These ideas are worked out in the context of an embodied “Interaction Theory” of social cognition. Still, for more sophisticated intersubjective interactions in older children and adults, one might argue that some form of ToM is required. This thought is defused by appeal to narrative competency and the Narrative Practice Hypothesis (or NPH). We propose that repeated encounters with narratives of a distinctive kind is the normal route through which children acquire an understanding of the forms and norms that enable them to make sense of actions in terms of reasons. A potential objection to this hypothesis is that it presupposes ToM abilities. Interaction Theory is deployed once again to answer this by providing an alternative approach to understanding basic narrative competency and its development. (shrink)

Many analyses of belief in the soul ignore the soul in the words. Dislocations of concepts occur when words are divorced from their normal implications. The ‘soul’ is sometimes the dislocated utterer of such words. Pictures, including pictures of the soul leaving the body, may mislead us by suggesting applications which they, in fact, do not have. But pictures of the soul may enter people's lives as desires for a temporal eternity. Contrasting conceptions of immortality and eternal life depend (...) on a willingness to say farewell to life. Atheistic denials of temporal eternities, do not appreciate these other possibilities. (shrink)

The popular question why Plato wrote dramatic dialogues, which is motivated by a just fascination and perplexity for contemporary scholars about the unique form of the Platonic texts, is confused and anachronistic; for it judges the Platonic texts qua philosophical texts in terms of post–Platonic texts not written in dramatic dialogic form. In comparison with these, the form of Platos early aporetic dialogues is highly unusual. Yet, in its contemporary milieu, the form of Platonic literature is relatively normal. Dramatic (...) dialogue was the most popular form of Attic literature in the late fifth and fourth centuries. This explains why Plato wrote dramatic dialogues. (shrink)

The popular question why Plato wrote dramatic dialogues, which is motivated by a just fascination and perplexity for contemporary scholars about the unique form of the Platonic texts, is confused and anachronistic; for it judges the Platonic texts qua philosophical texts in terms of post–Platonic texts not written in dramatic dialogic form. In comparison with these, the form of Platos early aporetic dialogues is highly unusual. Yet, in its contemporary milieu, the form of Platonic literature is relatively normal. Dramatic (...) dialogue was the most popular form of Attic literature in the late fifth and fourth centuries. This explains why Plato wrote dramatic dialogues. (shrink)

Little is known about distance processing in patients with posterior brain damage. Although many investigators have claimed that distance estimates are normal or abnormal in some of these patients, many of these observations were made informally and the examiners often asked for relative, and not absolute, distance estimates. The present investigation served two purposes. First, we wanted to contrast the use of distance information in peripersonal space for perceptual report as opposed to visuomotor control in our visual form agnosic (...) patient, DF. Second, we wanted to see to what extent her abilities to process distance cues were dependent on binocular vision, in light of Milner et al.'s (1991) observations of preserved stereopsis in DF, and Dijkerman et al.'s (1996) and Marotta et al.'s (1997) observations that her visual guidance of grasping may be particularly dependent on binocular vision of the target. We hypothesized that DF's visuomotor responses would show normal sensitivity to target distance, while her perceptual estimates would not. In the first experiment, we required DF and two age- and sex-matched control subjects to reach out and grasp black cubes placed at varying distances, or to estimate the distance of the cubes from the hand starting position without making a reaching movement. In the second experiment, we required DF and two age-matched control subjects to point as rapidly and accurately as possible to small LED targets which differed in spatial location, under binocular and monocular conditions. The results showed that, relative to the control subjects, DF's grasping movements produced normal peak velocity-distance scaling-when she reached for blocks which varied in depth or pointed to LED targets which were presented at different distances in depth. In contrast, in the cube experiment, her verbal estimates of object distance were poorly scaled, although they improved slightly under the binocular conditions. The results are discussed in terms of current theories of processing streams in extrastriate visual cortex and the distinction between categorical and coordinate spatial processing. (shrink)

The reconciliation between Juno and Jupiter at the end of the Aeneid forms the cap to the divine action of the poem. The scene is conventionally regarded as the resolution of the heavenly discord that has prevailed since the first book; in particular, it is normal to see here a definitive transformation of Juno, as she abandons, her enmity once and for all, committing herself wholeheartedly to the Roman cause. So G. Lieberg, for example: ‘I due emisferi di Giove (...) e di Giunone alia fine del poema si ricongiungono nella totalita del mondo divino, garante del glorioso futuro di Roma’ or W. Kiihn: ‘In einem strahlenden, vollen Schlussakkord endet das Gottergesprach.’. (shrink)

Giving ‘facts’ and ‘truth’ their ordinary senses, can one resist equating truth with correspondence to fact? For, with every variation in facts, there would necessarily be a corresponding variation in what propositions were true. But there would likewise be a corresponding variation in which they were false. Moreover, for any true proposition, the Correspondence Theory is committed also to denying that the existence of the fact believed normally follows just from the existence of the belief.

Giving ‘facts’ and ‘truth’ their ordinary senses, can one resist equating truth with correspondence to fact? For, with every variation in facts, there would necessarily be a corresponding variation in what propositions were true. But there would likewise be a corresponding variation in which they were false. Moreover, for any true proposition, the Correspondence Theory is committed also to denying that the existence of the fact believed normally follows just from the existence of the belief.

“Sentiment” is a term of art, intended to refer to object-directed, irruptive states, that occur in relatively transient bouts involving positive or negative affect, and that typically involve a distinctive motivational profile. Not all the states normally called “emotions” are sentiments in the sense just characterized. And all the terms for sentiments are sometimes used in English to refer to longer lasting attitudes. But this discussion is concerned with boutish affective states, not standing attitudes. That poses some challenges that will (...) be my focus here. Rational sentimentalism is a cousin of fitting attitude theories of value, but other fitting attitude theories appeal to attitudes that are widely assumed to be governable by certain kinds of judgments. The basic challenge is this: are these boutish sentiments the sorts of things that we can and do regulate in the ways that are required for treating ‘shameful’, ‘funny’, ‘disgusting’ and the like as values? In what follows I briefly sketch some necessary conditions on treating something as a value, from which it emerges that treating sentimental values as values requires regulating the sentiments for fittingness. The rest of the paper is devoted to two ways of understanding how such regulation might work. I argue first that sentiments are susceptible to regulation by evaluative judgment, though perhaps not in quite the same way that philosophers have thought “judgment-sensitive attitudes” are regulated by judgment. I then suggest more tentatively that sentiments are also susceptible to regulation for fittingness in a different way: by educating sensibilities. (shrink)

Background. South Africa (SA) currently has a golden opportunity to legislate on human heritable genome editing (HHGE), as the country is revising its assisted reproductive technology regulations. A set of sub-regulations that deals with HHGE, which could seamlessly slot into the current regulations, has already been developed. The principles underlying the proposed set of sub-regulations are as follows: HHGE should be regulated to improve the lives of the people and should not be banned; the well-established standard of safety and efficacy (...) should be used in the regulation of HHGE; quality of life is what matters, and not preserving a ‘normal’ genome; parents’ reproductive autonomy must be respected; and equality of access to approved HHGE technology should be promoted. Objectives. To ascertain whether the proposed set of sub-regulations that deals with HHGE is aligned with public opinion in SA, and SA’s Bill of Rights. Methods. Public opinion in SA is determined with reference to a deliberative public engagement study on HHGE conducted among South Africans, and the relevant rights in the Bill of Rights are interpreted with reference to recent case law. Results. This proposed set of sub-regulations that deals with HHGE is aligned with public opinion in SA, and SA’s Bill of Rights. Conclusion. Despite the legal and ethical complexities of HHGE, the proposed set of sub-regulations provides a targeted and effective legislative approach. They fit seamlessly into the country’s existing health law framework, creating specific legal standards for HHGE that align with both public opinion and the country’s Bill of Rights. (shrink)

The genetic modification of children is becoming a more likely possibility given our rapid progress in medical technologies. I argue, from a broadly Kantian point of view, that at least one kind of such modification—modification by a parent for the sake of a child's comparative advantage—is not rationally justified. To argue this, I first characterize a necessary condition on reasons and rational justification: what is a reason for an agent to do an action in one set of circumstances must be (...) a reason for any in those circumstances to do the action. I then show that comparatively advantageous genetic modification violates this principle since a child's “getting ahead” through genetic modification cannot be rationally justified unless other children also could receive the modification, thus rendering the advantage useless. Finally, I consider the major objection to this conclusion: it seems to disallow all cases of a parent's helping a child get ahead, something that parents normally engage in with their children. I argue that typical practices of developing a comparative advantage in a child, as well as practices of societal competition in general, do not conflict because they involve circumstances that mitigate the universal character of reasons. Many ordinary cases of competitive advantage that we think of as unjust, in fact, can be explained by my argument. (shrink)

It is almost universally agreed that the main business of commonsense psychology is that of providing generally reliable predictions and explanations of the actions of others. In line with this, it is also generally assumed that we are normally at theoretical remove from others such that we are always ascribing causally efficacious mental states to them for the purpose of prediction, explanation and control. Building on the work of those who regard our primary intersubjective interactions as a form of 'embodied (...) practice', I defend a secondpersonal approach in this paper. (shrink)

Many analyses of belief in the soul ignore the soul in the words. Dislocations of concepts occur when words are divorced from their normal implications. The 'soul' is sometimes the dislocated utterer of such words. Pictures, including pictures of the soul leaving the body, may mislead us by suggesting applications which they, in fact, do not have. But pictures of the soul may enter people's lives as desires for a temporal eternity. Contrasting conceptions of immortality and eternal life depend (...) on a willingness to say farewell to life. Atheistic denials of temporal eternities, do not appreciate these other possibilities. (shrink)

The selection of wanted from unwanted messages requires discriminatory mechanisms of as great a complexity as those in normal perception, as is indicated by behavioral evidence. The results of neurophysiology experiments on selective attention are compatible with this supposition. This presents a difficulty for Filter theory. Another mechanism is proposed, which assumes the existence of a shifting reference standard, which takes up the level of the most important arriving signal. The way such importance is determined in the system is (...) further described. Neurophysiological evidence relative to this postulation is discussed. (shrink)

Ever since the work of Otto Miiller it has been generally agreed that the most important manuscript of the Thebaid is Puteaneus, a ninth-century manuscript in the Bibliothèque Nationale. It is not only the earliest extant manuscript but it has a large number of readings not found elsewhere, many of which are obviously preferable to what is offered by the other tradition, normally referred to as ω. Both traditions are early, however, since Lactantius depends on inferior ω material while Priscian (...) seems to have followed the P tradition. (shrink)

Ever since the work of Otto Miiller it has been generally agreed that the most important manuscript of the Thebaid is Puteaneus , a ninth-century manuscript in the Bibliothèque Nationale . It is not only the earliest extant manuscript but it has a large number of readings not found elsewhere, many of which are obviously preferable to what is offered by the other tradition, normally referred to as ω. Both traditions are early, however, since Lactantius depends on inferior ω material (...) while Priscian seems to have followed the P tradition. (shrink)

The ends of medicine are sometimes construed simply as promotion of health, treatment and prevention of disease, and alleviation of pain. Practitioners might agree that this simple formulation captures much of what medical practice is about. But while the ends of medicine may seem simple or even obvious, the essays in this issue demonstrate the wide variety of philosophical questions and issues associated with the ends of medicine. They raise questions about how to characterize terms like “health” and “disease”; whether (...) medicine’s goals should be extended to include enhancement beyond normal human function; and whether the ends of medicine are binding on those involved in health care outside of professional medicine, such as pharmaceutical companies. They also give philosophical attention to patient experiences, and so raise questions about whether current practices achieve the ends of medicine from the perspective of the patient. Together these essays demonstrate the important role played by a conception of medicine’s ends in a wide variety of issues and problems in the philosophy and ethics of medicine. (shrink)

Art perception offers action affordances for the self-generated movement of the eyes, the mind, and the emotions; thus some scenes are ’easy to look at', and evoke different kinds of moods depending on what kind of affordances they present for the eyes, the brain, and the action schemas that further the dynamical self-organizing patterns of activity toward which the organism tends, as reflected in its ongoing emotional life. Art can do this only because perception is active rather than passive, and (...) begins with efferent activity in emotional brain areas (e.g. hypothalamus, amygdala, hippocampus and anterior cingulate) which then motivates afferent processing (parietal imaging activity which finally, after a 1/3-second motivational/selective process is complete, resonates with occipital patterns, resulting in perceptual consciousness). The limbic system ’categories’ that motivate the ’looking-for’ of selective attention are categories of utility, to be understood in terms of emotional affordances and whole-organism affective meanings. Art plays with this looking-for, using it to make us engage in different afforded actions that relate to different limbic (emotional) categories. The drawings of children and of the artistically untutored reveal this structure when we fail to ’draw what we see’, drawing instead what we conceptualize that we ought to be seeing. Art teaches us to get beyond this almost complete dominance of habitual categories, and to see things more freshly -- both in the perceptual and in the emotive sphere. Rather than reinforcing our preconceptions, it forces us to see how they affect our view of reality. -/- Because neither perceptions nor emotional responses are really passive ’responses’ at all, art does not cause us to feel a certain way. Instead, we ’use’ art for the purpose of symbolizing our emotions. Our most important feelings are not directly ’about’ the perceptual objects that trigger them. The object in conscious attention during the feeling of an emotion is normally not the intentional object of the emotion, i.e., it is not the object in relation to which our actions could serve the purpose of the emotion. Emotions are not even triggered by simple ’stimuli’, but rather by the meaning for us of a stimulus in a total context determined by ongoing and dynamical organismic purposes. Emotions arise from the total life process, which is a dynamical system -- not as an isolated chemical event or a causal result of a simple stimulus. For this reason, emotions call not just for satiation or pleasure, but for explication; this is why art is different from entertainment or pretty decoration. Visual art affords not only a meaningful, self-directed dance of the eyes, but also a meaningful dance of this emotional explicating process. (shrink)

The extracellular‐signal regulated kinases 1/2 (ERK or ERKs) are involved in the regulation of important neuronal functions, including neuronal plasticity in normal and pathological conditions. We present findings that support the notion that the kinetics and localization of ERK are intrinsically linked, in that the duration of ERK activation dictates its subcellular compartmentalization and/or trafficking. The latter, in turn, dictates whether ERK‐expressing cells would enter a program of cell death, survival or differentiation. We summarize experimental data showing that chronic (...) activation of ERK plays a role in the mechanisms that trigger neurodegeneration. We also discuss how MKPs, members of the subclass of dual specificity phosphatases, might be the link between ERK kinetics and its subcellular localization. BioEssays 25:1085–1095, 2003. © 2003 Wiley Periodicals, Inc. (shrink)

In addition to facing the known competitors in the formal economy, entrepreneurs must also be concerned with rivalry emanating from the informal economy. The informal economy is characterized by actions outside the normal scope of commerce, such as unsanctioned payments and gift-giving, as means of influencing competition. Scholars and policy makers alike have an interest in mitigating the impacts of such informal activity in that it might present an obstacle for legitimate commerce. Received theory suggests that country institutions can (...) enable and constrain productive activity, and, in doing so, influence competitive obstacles in a country. Leveraging 13,670 responses from entrepreneurs distributed across 59 countries, we provide evidence that two particular types of enabling institutions, countries’ property rights regulations and cooperative actions, are useful for lowering the obstacles presented by informal activity. We also find evidence that two constraining institutions, economic and financial regulations lead to more obstacles presented by informal activity. We describe implications for entrepreneurs, policy makers, and future researchers stemming from these findings. (shrink)

The distinction between 'conduct norms' and 'sanction norms' is widely assumed to be an essential tool for any correct understanding of criminal responsibility. Conduct norms (often also called 'primary') are referred to with the language of 'prohibitions', and it is normally accepted that a crime is by definition a 'prohibited' human behaviour, in the sense that it is always an infraction of a 'conduct norm'. I mean to discuss and criticize this rather consensual assumption. Modern criminal codes don't usually incorporate (...) a catalogue of prohibitions, but this is considered to be of no consequence when it comes to discuss whether the law prohibits those behaviours whose performance may lead to the application of a criminal sanction: there is no question that sanction norms may be properly read out of the special parts of our criminal codes, and from a sanction norm it is always possible to infer the correspondent prohibition. Or so the current understanding goes. I shall first try to make some sense of this common idea, which I call the inference thesis. I will then proceed to show why it is wrong. The inference thesis is necessarily committed to an understanding of conduct norms as prescriptive norms addressed to citizens, and the relevant notion of a prescriptive norm has to be characterized in some detail. Having done so, I will argue that such a prescriptive understanding of 'conduct norms' is incompatible with several aspects common to most modern systems of criminal law and unquestionably essential to the concept of a crime. (shrink)

It is almost universally agreed that the main business of commonsense psychology is that of providing generally reliable predictions and explanations of the actions of others. In line with this, it is also generally assumed that we are normally at theoretical remove from others such that we are always ascribing causally efficacious mental states to them for the purpose of prediction, explanation and control. Building on the work of those who regard our primary intersubjective interactions as a form of ‘embodied (...) practice’, I defend a second‐personal approach in this paper. (shrink)

At Aen. 6.562–627 the Sibyl gives Aeneas a description of the criminals in Tartarus and the punishments to which they are condemned. The criminals are presented to us in several groups. The first consists of mythical figures, the Titans , the sons of Aloeus , Salmoneus , Tityos and Ixion and Pirithous . Next Virgil turns away from mythical figures to particular categories of criminal. He mentions those who hated their brothers, who assaulted a parent, who cheated a cliens, who (...) gloated over wealth they had acquired without setting aside a part for their family, who were put to death for adultery, and those who, breaking their masters' trust, made war on their country . The reference to the contemporary scene is unmistakable. The mention of a cliens indicates that we have moved from Greece to Rome. Moreover, ‘quique ob adulterium caesi’ brings to mind Augustus' concern over moral standards, the subject of legislation in 28 B.c., 18 B.c. and A.d. 9; the lex Iulia de adulteriis coercendis gave to fathers of adulteresses the right to put to death both guilty parties. Thirdly, ‘arma...impia’ is an obvious reference to civil war , which as Servius argues is more narrowly defined by ‘nee veriti dominorum fallere dextras’ so as to exclude Caesar and Octavian: undoubtedly the allusion is to the war against Sextus Pompeius, which Augustan propaganda chose to represent as a war against runaway slaves. Virgil continues by sketching the penalties paid in Tartarus by such men . While doing so, however, he retreats once again into the realm of mythology: the punishments he describes are those more normally associated with Sisyphus and Ixion . This reversion is completed at 617–20 where, confusingly, Virgil denies that he has been alluding to events of contemporary significance by naming two mythical personages, Theseus and Phlegyas . Virgil therefore implies, but then denies, contemporary relevance. It is this kind of protean elusiveness which makes the contemporary allusions in Virgil so difficult to pin down. (shrink)

This paper promotes the view that our childhood engagement with narratives of a certain kind is the basis of sophisticated folk psychological abilities —i.e. it is through such socially scaffolded means that folk psychological skills are normally acquired and fostered. Undeniably, we often use our folk psychological apparatus in speculating about why another may have acted on a particular occasion, but this is at best a peripheral and parasitic use. Our primary understanding and skill in folk psychology derives from and (...) has its primary application in special kinds of second-personal engagements. (shrink)

• We define a notion of order of indiscernibility type of a structure by analogy with Mitchell order on measures; we use this to define a hierarchy of strong axioms of infinity defined through normal filters, the α-weakly Erdős hierarchy. The filters in this hierarchy can be seen to be generated by sets of ordinals where these indiscernibility orders on structures dominate the canonical functions.• The limit axiom of this is that of greatly Erdős and we use it to (...) calibrate some strengthenings of the Chang property, one of which, CC+, is equiconsistent with a Ramsey cardinal, and implies that where K is the core model built with non-overlapping extenders — if it is rigid, and others which are a little weaker. As one corollary we have:TheoremIf then there is an inner model with a strong cardinal. • We define an α-Jónsson hierarchy to parallel the α-Ramsey hierarchy, and show that κ being α-Jónsson implies that it is α-Ramsey in the core model. (shrink)

Normal science involves persistent collective application of an agreed research agenda. Anomaly can threaten normal science, but so too can “undue persistence” in that agenda by a normal science peer group. We consider how “undue persistence” might be a collective effect of the common incentive structure that individual members of the peer group typically face in relation to their careers. To understand how “undue persistence” might be ameliorated, we consider the affordances of a peer’s membership of a (...) departmental collegium, organized on a different basis than the specialist peer group and hence able to supply the individual scholar with kinds of information and critical comment that may occasion off-agenda contributions to the specialty. The idea of brokerage is borrowed from the sociology of innovation to see how a scholar’s departmental colleagues might be able to broker new ways of thinking that can assist in the avoidance of “undue persistence”. (shrink)

A study was carried out in a large teaching hospital to ascertain the current view of members of ten ward teams in regard to certain problems in the field of medical ethics. The investigator accompanied each team on their morning rounds and sat in on their discussions. At the end of each week he interviewed the faculty member, residents, intern, and medical students who comprised that team. Responses to these fifty open-ended interviews were grouped into categories that seemed natural to (...) the data. These were tabulated and commented upon. The conclusions drawn were that there is an urgent need for ethical discourse in medical education, but that there are certain built-in difficulties in bringing this about in a significant way. Focus of attention upon critical incidents that come up in the normal cycle of ward rounds appeared to be the optimum approach to take. (shrink)